Mathematical Objects arising from Equivalence Relations and their Implementation in Quine's NF
نویسندگان
چکیده
منابع مشابه
Mathematical Objects arising from Equivalence Relations, and their Implementation in Quine’s NF
Many mathematical objects arise from equivalence classes, and invite implementation as those classes. Set existence principles that would enable this are incompatible with ZFC’s unrestricted aussonderung but there are set theories (e.g. NF and Church’s CUS) which admit more instances than does ZF. NF provides equivalence classes for stratified relations only. Church’s construction provides equi...
متن کاملFuzzy equivalence relations and their equivalence classes
In this paper we investigate various properties of equivalence classes of fuzzy equivalence relations over a complete residuated lattice. We give certain characterizations of fuzzy semipartitions and fuzzy partitions over a complete residuated lattice, as well as over a linearly ordered complete Heyting algebra. In the latter case, for a fuzzy equivalence relation over a linearly ordered comple...
متن کاملEquivalence Relations on Separated Nets Arising from Linear Toral Flows
In 1998, Burago-Kleiner and McMullen independently proved the existence of separated nets in R which are not bi-Lipschitz equivalent (BL) to a lattice. A finer equivalence relation than BL is bounded displacement after dilation (BDD). Separated nets arise naturally as return times to a section for minimal R-actions. We analyze the separated nets which arise via these constructions, focusing par...
متن کاملturkish-israeli relations and their implication on iranian national security
this dissertation has six chapter and tree appendices. chapter 1 introduces the thesis proposal including description of problem, key questions, hypothesis, backgrounds and review of literature, research objectives, methodology and theoretical concepts (key terms) taken the literature and facilitate an understanding of national security, national interest and turkish- israeli relations concepts...
15 صفحه اولFUZZY SUBGROUPS AND CERTAIN EQUIVALENCE RELATIONS
In this paper, we study an equivalence relation on the set of fuzzysubgroups of an arbitrary group G and give four equivalent conditions each ofwhich characterizes this relation. We demonstrate that with this equivalencerelation each equivalence class constitutes a lattice under the ordering of fuzzy setinclusion. Moreover, we study the behavior of these equivalence classes under theaction of a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Philosophia Mathematica
سال: 2014
ISSN: 0031-8019,1744-6406
DOI: 10.1093/philmat/nku005